∫_(0)^(infinity) 1/(1 + x^(2)) dx